Git Product home page Git Product logo

idris2-missing's People

Contributors

seagull-kamome avatar

Watchers

avatar avatar

idris2-missing's Issues

idris2がData.Time.Clock.Systemをビルドしてくれない

time-calendar.clock.ipkにはmodules=にData.Time.Clock.Systemを指定しているのに、なぜかビルドしてくれない。
そしてinstallしようとすると、ttcファイルが無いといってエラーになってしまう。

modules = Data.Time.Calendar
        , Data.Time.Calendar.CalendarDiffDays
        , Data.Time.Calendar.Days
        , Data.Time.Calendar.Gregorian
        , Data.Time.Calendar.Julian
        , Data.Time.Calendar.Month
        , Data.Time.Calendar.MonthDay
        , Data.Time.Calendar.OrdinalDate
        , Data.Time.Calendar.Types
        , Data.Time.Calendar.WeekDate
        , Data.Time.Clock
        , Data.Time.Clock.Internal.UTCTime
        , Data.Time.Clock.AbsoluteTime
        , Data.Time.Clock.DiffTime
        , Data.Time.Clock.POSIX
        , Data.Time.Clock.System
        , Data.Time.Clock.UTCTime
        , Data.Time.Format
        , Data.Time.LocalTime
        , Data.Time.LocalTime.Internal.LocalTime
        , Data.Time.LocalTime.CalendarDiffTime
        , Data.Time.LocalTime.TimeOfDay
        , Data.Time.LocalTime.TimeZone
        , Data.Time.LocalTime.ZonedTime

idris2 --build time-calendar-clock.ipkg
 1/23: Building Data.Time.LocalTime.TimeZone (./src/Data/Time/LocalTime/TimeZone.idr)
 2/23: Building Data.Time.Clock.DiffTime (./src/Data/Time/Clock/DiffTime.idr)
 3/23: Building Data.Time.LocalTime.TimeOfDay (./src/Data/Time/LocalTime/TimeOfDay.idr)
 4/23: Building Data.Time.Calendar.CalendarDiffDays (./src/Data/Time/Calendar/CalendarDiffDays.idr)
 5/23: Building Data.Time.LocalTime.CalendarDiffTime (./src/Data/Time/LocalTime/CalendarDiffTime.idr)
 6/23: Building Data.Time.Calendar.Days (./src/Data/Time/Calendar/Days.idr)
 7/23: Building Data.Time.Calendar.Types (./src/Data/Time/Calendar/Types.idr)
 8/23: Building Data.Time.Calendar.OrdinalDate (./src/Data/Time/Calendar/OrdinalDate.idr)
 9/23: Building Data.Time.Calendar.MonthDay (./src/Data/Time/Calendar/MonthDay.idr)
10/23: Building Data.Time.Calendar.Gregorian (./src/Data/Time/Calendar/Gregorian.idr)
11/23: Building Data.Time.Clock.Internal.UTCTime (./src/Data/Time/Clock/Internal/UTCTime.idr)
12/23: Building Data.Time.LocalTime.Internal.LocalTime (./src/Data/Time/LocalTime/Internal/LocalTime.idr)
13/23: Building Data.Time.LocalTime.ZonedTime (./src/Data/Time/LocalTime/ZonedTime.idr)
14/23: Building Data.Time.Clock.UTCTime (./src/Data/Time/Clock/UTCTime.idr)
15/23: Building Data.Time.Calendar.WeekDate (./src/Data/Time/Calendar/WeekDate.idr)
16/23: Building Data.Time.Calendar (./src/Data/Time/Calendar.idr)
17/23: Building Data.Time.Clock (./src/Data/Time/Clock.idr)
18/23: Building Data.Time.LocalTime (./src/Data/Time/LocalTime.idr)
19/23: Building Data.Time.Format (./src/Data/Time/Format.idr)
20/23: Building Data.Time.Clock.POSIX (./src/Data/Time/Clock/POSIX.idr)
21/23: Building Data.Time.Clock.AbsoluteTime (./src/Data/Time/Clock/AbsoluteTime.idr)
22/23: Building Data.Time.Calendar.Month (./src/Data/Time/Calendar/Month.idr)
23/23: Building Data.Time.Calendar.Julian (./src/Data/Time/Calendar/Julian.idr)

Listのlengthとpatternmatch

リストで(x::xs)とのパターンマッチに成功した以上、長さは０ではありえないとか、長さが０で無いことを確認した以上パターンマッチには必ず成功するということを理解してもらうにはどうすればいいのだろう？

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.